package generics.coffee;
//: generics/coffee/Breve.java
public class Breve extends Coffee {} ///:~